1. Carnap, Rudolph
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Physics - Philosophy,Semantics (Philosophy),Logic, Symbolic and Mathematical
2. Classical mathematical logic : the semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
QA
9
.
E67C56
3. Die Antinomien der Logik;semantische unter suchungen
پدیدآورنده : Kutschera
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Antinomy,Logic, symbolic and mathematical,Semantics (Philosophy)
رده :
BC
135
.
K84
4. From signs to propositions: The concept of form in eighteenth-century semantic theory
پدیدآورنده : Land, Stephen K.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
رده :
P
325
.
L3F7
5. From signs to propositions: the concept of form in eighteenth-century semantic theory
پدیدآورنده : Stephen K. Land
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (طهران)
موضوع : Semantics,Language and languages,Linguistics,Logic, Symbolic and mathematical
رده :
P
325
.
L29
1974
6. Introduction to semantics :
پدیدآورنده : Rudolf Carnap.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logic, Symbolic and mathematical.,Semantics (Philosophy)
رده :
BC135
.
C316
1959eb
7. Introduction to semantics and formalization of logic
پدیدآورنده : Carnap
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Semantics (Philosophy),Logic Symbolic and mathematical
رده :
BC
135
.
C3
8. Kotarbinski:Logic,semantics and ontology
پدیدآورنده : / edited by Jan Wolenski
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Kotarbinski,Tadeuz,Logic,symbolic and mathematical,Semantics,Ontology
رده :
199
.
438
K87
9. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
10. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
11. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
12. Logic, semantics, metamathematics
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
13. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
14. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
15. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
16. Logica: Metodo Breve
پدیدآورنده : by Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
17. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
18. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (سمنان)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
19. Logics of specification languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
20. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
